auxiliary definition

辅助定义